Atsiliepimai
Aprašymas
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
EXTRA 15 % nuolaida su kodu: ENG15
Akcija baigiasi už 1d.18:17:56
Nuolaidos kodas galioja perkant nuo 10 €. Nuolaidos nesumuojamos.
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Atsiliepimai